$X$ + $Y$($s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($X$($s$)) + ($Y$($s$))